module Module

type T(i: a * * c ) = class end
